basic
\\[0ex]connex($T$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Connex($T$;$x$,$y$.$R$($x$,$y$))